Inhalt des Dokuments

Master

Distributability of Asynchronous Process Calculi

Sonntag, 25. Januar 2015

Betreuer/in: Dr. Peters
Erstgutachter/in: Prof. Dr.-Ing. Nestmann
Zweitgutachter/in: Prof. Dr. Pepper

Brodmann, Paul

We analyze three process calculi with regard to their distributability. Distributability specifies the possibility to split a process term onto several locations. This is especially relevant for distributed systems. The limiting factor for distributability are so called Synchronization patterns.

We show that neither the Actor Pi-Calculus, the Join-Calculus nor the Localized Pi-Calculus contain these Synchronization patterns. Therefore the calculi are distributable to the same degree. This forms the basis for the second part of the thesis. We present encodings, mappings between process calculi, which show that the calculi have the same relative expressive power.

The encodings fulfill certain quality criteria. The criteria ensure that encoded terms stay at least as distributable as they were beforehand, do not introduce infinite behavior and show a similar behavior. Additionally we show that the encodings are compositional and name invariant.

Furthermore we present the three calculi with their respective syntax and semantics. And illustrate the calculi and the encodings with examples.

---